jade.content.schema
Class PropositionSchema

java.lang.Object
  |
  +--jade.content.schema.ObjectSchema
        |
        +--jade.content.schema.ContentElementSchema
              |
              +--jade.content.schema.PropositionSchema

Direct Known Subclasses:

ActionPredicateSchema, HigherOrderPredicateSchema, PredicateSchema

public class PropositionSchema

extends ContentElementSchema

Author:

Federico Bergenti - Universita` di Parma

Field Summary

static java.lang.String

BASE_NAME

Fields inherited from class jade.content.schema.ContentElementSchema

BASE_NAME

Fields inherited from class jade.content.schema.ObjectSchema

MANDATORY, OPTIONAL

Constructor Summary

PropositionSchema(java.lang.String proposition)
Creates the proposition `proposition'.

Method Summary

static ContentElementSchema	getBaseSchema() Returns the base schema of this schema.
AbsObject	newInstance() Creates a new instance.

Methods inherited from class jade.content.schema.ObjectSchema

addBaseSchema, addElement, addElement, getNames, getSchema, getTypeName, isAttribute, isMandatory

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BASE_NAME

public static final java.lang.String BASE_NAME

Constructor Detail

PropositionSchema

public PropositionSchema(java.lang.String proposition)

Creates the proposition `proposition'.

Parameters:

proposition - the proposition.

Method Detail

getBaseSchema

public static ContentElementSchema getBaseSchema()

Returns the base schema of this schema.

Returns:

the base schema of this schema.

newInstance

public AbsObject newInstance()

Creates a new instance.

Overrides:

newInstance in class ContentElementSchema

Returns:

the new instance.